$\forall$$p$:(ES\{i\}$\rightarrow\mathbb{P}$\{i'\}), $e$:possible{-}event\{i:l\}($p$). pe{-}e($e$) $\in$ E